@inproceedings{libalf,
 author = {Benedikt Bollig and Joost-Pieter Katoen and Carsten Kern and Martin Leucker and Daniel Neider and David R. Piegdon},
 title = {libalf: The Automata Learning Framework},
 booktitle = {CAV},
 pages = {360-364},
 year = {2010},
 series = {LNCS},
 publisher = {Springer}
 }

@ARTICLE{learnlib,
  AUTHOR =       {Harald Raffelt and Bernhard Steffen and Therese Berg and Tiziana Margaria},
  TITLE =        {LearnLib: a framework for extrapolating behavioral models},
  JOURNAL =      {STTT},
  YEAR =         {2009},
  volume =       {11},
  number =       {5},
  pages =        {393-407}
}

@inproceedings{CW12,
  AUTHOR =       {Yu-Fang Chen and Bow-Yaw Wang},
  TITLE =        {Learning Boolean Functions Increamentally},
  booktitle = {CAV},
  pages = {55-70},
  year = {2012},
  series = {LNCS},
  publisher = {Springer}
}


@inproceedings{JKWY:10:DIPL,
 author = {Yungbum Jung and Soonho Kong and Bow-Yaw Wang and Kwangkeun Yi},
 title = {Deriving Invariants in Propositional Logic by Algorithmic Learning,
          Decision Procedure, and Predicate Abstraction},
 editor    = {Gilles Barthe and Manuel V. Hermenegildo},
 booktitle = {VMCAI},
 pages = {180--196},
 year = {2010},
 series = {LNCS},
 publisher = {Springer},
 }

@inproceedings{KJDWI:10:AIQLI,
  author    = {Soonho Kong and Yungbum Jung and Cristina David and
                  Bow-Yaw Wang and Kwangkeun Yi},
  title     = {Automatically Inferring Quantified Loop Invariants by Algorithmic
               Learning from Simple Templates},
  booktitle = {APLAS},
  year      = {2010},
  pages     = {328-343},
  editor    = {Kazunori Ueda},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6461},
}

@inproceedings{JLWY:11:PGLBQFLII,
  author    = {Yungbum Jung and Wonchan Lee and Bow-Yaw Wang and
               Kwangkeun Yi},
  title     = {Predicate Generation for Learning-Based Quantifier-Free
               Loop Invariant Inference},
  year      = {2011},
  pages     = {205-219},
  editor    = {Parosh Aziz Abdulla and K. Rustan M. Leino},
  booktitle = {TACAS},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6605},
}

@Article{a-lrsqc-87,
  author =       "D. Angluin",
  title =        "Learning Regular Sets from Queries and
                 Counterexamples",
  journal =      "Information and  Computation",
  volume =       "75",
  number =       "2",
  month =        nov,
  year =         "1987",
  pages =        "87--106",
  comment =      "Learning regular sets from a teacher who answers
                 membership queries, and responds to false conjectures
                 with counterexamples. Based on Gold's approach. Also
                 learning context-free languages from teacher. Was Yale
                 TR YALEU/DCS/TR-464",
}

@InProceedings{COLT::MalerP1991,
  title =        "On the Learnability of Infinitary Regular Sets",
  author =       "Oded Maler and Amir Pnueli",
  pages =        "128--136",
  booktitle =    "Proceedings of the Fourth Annual Workshop on
                 Computational Learning Theory",
  address =      "University of California, Santa Cruz",
  month =        "5--7~" # aug,
  year =         "1991",
  publisher =    "ACM Press",
}

@Book{KV:1994:ICLT,
  author =    "Michael J. Kearns and Umesh V. Vazirani",
  title =        "An Introduction to Computational Learning Theory",
  publisher =    "MIT Press",
  year =         "1994",
}

@Article{MP:1995:OLIRS,
  author =       "Oded Maler and Amir Pnueli",
  title =        "On the Learnability of Infinitary Regular Sets",
  journal =      "Information and Computation",
  year =         "1995",
  volume =       "118",
  number =    "2",
  pages =     "316--326",
}

@InProceedings{CGP:2003:LACV,
  author =       "Jamieson M. Cobleigh and Dimitra Giannakopoulou and
                  Corina S. P{\u a}s{\u a}reanu",
  title =        "Learning Assumptions for Compositional Verification",
  booktitle =    "TACAS",
  pages =        "331--346",
  year =         "2003",
  editor =       "Hubert Garavel and John Hatcliff",
  volume =       "2619",
  series =       "LNCS",
  publisher =    "Springer",
}

@inproceedings{HV:05,
 author = {Peter Habermehl and Tomas Vojnar},
 title = {Regular Model Checking Using Inference of Regular Languages},
 booktitle = {ENTCS},
 year = 2005,
 pages = {21--36}
 }

@InProceedings{BCCZ99,
  author =       "Armin Biere and Alessandro Cimatti and Edmund Clarke
                 and Yunshan Zhu",
  title =        "Symbolic Model Checking without {BDDs}",
  series =       "LNCS",
  volume =       "1579",
  pages =        "193--207",
  year =         "1999",
  editor =       "W. R. Cleaveland",
  booktitle =    "TACAS",
  publisher =    "Springer",
}

@inproceedings{CCFHTTWZ:10:CLAAAGR,
  author    = {Yu-Fang Chen and Edmund M. Clarke and Azadeh Farzan and
               Fei He and Ming-Hsien Tsai and Yih-Kuen Tsay and
               Bow-Yaw Wang and Lei Zhu},
  title     = {Comparing Learning Algorithms in Automated Assume-Guarantee
               Reasoning},
  booktitle = {ISoLA (1)},
  year      = {2010},
  pages     = {643-657},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6415},
}

@article{B:95:ELBF,
  author    = {Nader H. Bshouty},
  title     = {Exact Learning {Boolean} Function via the Monotone Theory},
  journal   = {Information and Computation},
  volume    = {123},
  number    = {1},
  year      = {1995},
  pages     = {146-153},
}
@inproceedings{CCFTTW:10:AAGRIL,
  author    = {Yu-Fang Chen and Edmund M. Clarke and Azadeh Farzan and
               Ming-Hsien Tsai and Yih-Kuen Tsay and Bow-Yaw Wang},
  title     = {Automated Assume-Guarantee Reasoning through Implicit Learning},
  booktitle = {CAV},
  year      = {2010},
  pages     = {511-526},
  publisher = {Springer},
  series    = {LNCS},
}

